https://www.passeidireto.com/pergunta/127470366/teorema-de-baire-seja-ak-k∈-n-uma-familia-enumerarevel-de-subconjuntos-abertos-e